Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 5.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000318 | Paula Chocron [France] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | A Rewriting Approach to the Combination of Data Structures with Bridging Theories |
| 000425 | Paula Chocron [France] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited |
| 000A31 | Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | A Gentle Non-Disjoint Combination of Satisfiability Procedures |
| 000A32 | Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions |
| 000C35 | Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | A Gentle Non-Disjoint Combination of Satisfiability Procedures (Extended Version) |
| This area was generated with Dilib version V0.6.33. |  |